Nuprl Definition : msg-spec1
0,22
postcript
pdf
k
sends on
l
with tag
tg
[
s
,
v
.
f
(
s
;
v
)], at marker
n
== <
k
,
l
> : [<
tg
,
n
,(
s
,
v
. [
f
(
s
;
v
)])>]
latex
clarification:
k
sends on
l
with tag
tg
[
s
,
v
.
f
(
s
;
v
)], at marker
n
== <
k
,
l
> : <
tg
,
n
,(
s
,
v
.
f
(
s
;
v
).nil)>.nil
latex
Definitions
x
:
v
,
<
a
,
b
>
,
x
.
A
(
x
)
,
car
.
cdr
,
nil
FDL editor aliases
msg-spec1
origin
s,v. [f(s;v)])>]
s,v. f(s;v).nil)>.nil s,v. [f(s;v)])>]
s,v. f(s;v).nil)>.nil x.A(x)